991![arXiv:1010.0725v1 [physics.soc-ph] 4 OctLink Prediction in Complex Networks: A Survey Linyuan L¨ u a,b , Tao Zhou a,c arXiv:1010.0725v1 [physics.soc-ph] 4 OctLink Prediction in Complex Networks: A Survey Linyuan L¨ u a,b , Tao Zhou a,c](https://www.pdfsearch.io/img/c1a6ce32875183ca140ce73df4443393.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2010-10-05 20:13:49
|
---|
992![Electronic Notes in Theoretical Computer Science (Preliminary Versions) 15th workshop on functional and (constraint) logic programming WFLP’06 Electronic Notes in Theoretical Computer Science (Preliminary Versions) 15th workshop on functional and (constraint) logic programming WFLP’06](https://www.pdfsearch.io/img/bfe0ae49b544c9969b194035caeb7e69.jpg) | Add to Reading ListSource URL: gpd.sip.ucm.esLanguage: English - Date: 2007-02-08 13:01:50
|
---|
993![Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper presents two typed higher-order concurrent functional programming languages, based on Reppy’s Concurrent ML. The first is a simp](https://www.pdfsearch.io/img/a2e9cc015e87437d9e9a0a18c3b77a6c.jpg) | Add to Reading ListSource URL: ect.bell-labs.comLanguage: English - Date: 2010-12-15 21:39:09
|
---|
994![Robert H. Gilman www.math.stevens.edu/~rgilman Curriculum Vitae, February 2015 Education A.B., Princeton University, June 1964 Ph.D., Columbia University, January 1969, Advisor: P. X. Gallagher Robert H. Gilman www.math.stevens.edu/~rgilman Curriculum Vitae, February 2015 Education A.B., Princeton University, June 1964 Ph.D., Columbia University, January 1969, Advisor: P. X. Gallagher](https://www.pdfsearch.io/img/5e7edbaa3dc65a29db9aae0fbcc7fff6.jpg) | Add to Reading ListSource URL: www.math.stevens.eduLanguage: English - Date: 2015-03-02 13:33:30
|
---|
995![The Query-flow Graph: Model and Applications Paolo Boldi1∗ Debora Donato2 The Query-flow Graph: Model and Applications Paolo Boldi1∗ Debora Donato2](https://www.pdfsearch.io/img/a90dfdc141c12d420914076c2c3757ba.jpg) | Add to Reading ListSource URL: www.francescobonchi.comLanguage: English - Date: 2011-01-16 14:09:13
|
---|
996![Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 21 pages Ribbon Proofs Jules Bean 1,2 Department of Computer Science Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 21 pages Ribbon Proofs Jules Bean 1,2 Department of Computer Science](https://www.pdfsearch.io/img/0d753cf426d1c6129a01513de84121c6.jpg) | Add to Reading ListSource URL: www.entcs.orgLanguage: English - Date: 2005-10-10 18:32:00
|
---|
997![Amit Chakrabarti Curriculum Vitae April 2014 Associate Professor Department of Computer Science Amit Chakrabarti Curriculum Vitae April 2014 Associate Professor Department of Computer Science](https://www.pdfsearch.io/img/955fa652983fef9c47613622435dee58.jpg) | Add to Reading ListSource URL: www.cs.dartmouth.eduLanguage: English - Date: 2015-10-14 21:30:58
|
---|
998![Nordic Journal of Computing), 151–172. ON THE COMPLEXITY OF VARIATIONS OF EQUAL SUM SUBSETS MARK CIELIEBAK Institute of Theoretical Computer Science, ETH Z¨urich Nordic Journal of Computing), 151–172. ON THE COMPLEXITY OF VARIATIONS OF EQUAL SUM SUBSETS MARK CIELIEBAK Institute of Theoretical Computer Science, ETH Z¨urich](https://www.pdfsearch.io/img/93ee16808d09047d4f7f7ea44f5d9648.jpg) | Add to Reading ListSource URL: users.softlab.ntua.grLanguage: English - Date: 2009-08-18 11:30:48
|
---|
999![Dresden University of Technology Institute for Theoretical Computer Science Chair for Automata Theory LTCS–Report Dresden University of Technology Institute for Theoretical Computer Science Chair for Automata Theory LTCS–Report](https://www.pdfsearch.io/img/546b82705aca67a87d239dcba921efcd.jpg) | Add to Reading ListSource URL: lat.inf.tu-dresden.deLanguage: English - Date: 2013-02-18 09:19:07
|
---|
1000![Logical Methods in Computer Science Vol. 1 (1:, 22 pages www.lmcs-online.org Submitted Published Logical Methods in Computer Science Vol. 1 (1:, 22 pages www.lmcs-online.org Submitted Published](https://www.pdfsearch.io/img/8f67ef17bfc9e1d1ac244fbff273a25b.jpg) | Add to Reading ListSource URL: ect.bell-labs.comLanguage: English - Date: 2010-12-15 21:37:28
|
---|